phản chứng

phản chứng

Một nhà toán học sử dụng phương pháp phản chứng để chứng minh một định lý.

Definition

  1. Noun (Logic, Mathematics):

    • Proof by contradiction: A method of logical or mathematical proof where one assumes the opposite (negation) of the statement to be proven is true. By logically deducing from this false assumption, one arrives at a contradiction or an absurdity, thereby proving the original statement must be true.

  2. Noun (Law):

    • Counter-evidence / Rebuttal evidence: Evidence presented to contradict or disprove evidence previously presented by the opposing side.
Usage Examples

  • Noun (Logic/Mathematics):

    • Chứng minh bằng phản chứng là một kỹ thuật quan trọng trong toán học. (Proof by contradiction is an important technique in mathematics.)
    • Anh ấy sử dụng phản chứng để chứng minh định lý. (He used proof by contradiction to prove the theorem.)

  • Noun (Law):

    • Luật sư đưa ra phản chứng để bác bỏ lời khai của nhân chứng. (The lawyer presented counter-evidence to refute the witness's testimony.)
Advanced Usage
  • "phương pháp phản chứng": the method of contradiction, synonymous with "proof by contradiction".
    • Phương pháp phản chứng đôi khi được gọi là reductio ad absurdum. (The method of contradiction is sometimes called reductio ad absurdum.)
Variants and Related Words
  • Chứng minh bằng phản chứng (n): proof by contradiction, indirect proof.
    • Đây là một ví dụ kinh điển về chứng minh bằng phản chứng. (This is a classic example of proof by contradiction.)
Synonyms
  • Proof by contradiction: (Logic/Mathematics) A form of indirect proof.
  • Reductio ad absurdum: (Logic) The Latin term for the technique.
  • Counter-evidence: (Law) Evidence that contradicts other evidence.
  • Rebuttal: (Law) A refutation or contradiction.
Related Concepts

  • Giả thiết phản chứng: the contradictory assumption, the initial false assumption made in a proof by contradiction.

    • Bước đầu tiên là đưa ra giả thiết phản chứng. (The first step is to state the contradictory assumption.)

  • Đi đến mâu thuẫn: to arrive at a contradiction.

    • Từ giả thiết đó, chúng ta đi đến mâu thuẫn. (From that assumption, we arrive at a contradiction.)

Từ chứa "phản chứng"